X  Y == s:({0..n}Outcome). X(s)  Y(s) 

latex

---

clarification:

rv-le(p;n;X;Y) == s:({0..n}p-outcome(p)). X(s)  Y(s) 

latex

Definitions	x:A. B(x), x:AB(x), {i..j}, #$n, Outcome, r  s, f(a)
FDL editor aliases	rv-le